package UI;

import java.awt.Dimension;
import java.awt.Font;
import java.io.File;

public class Constants {
	
	  public static int Chinese = 1;
	  public static int English = 0;
	  public static Font Label_English_Font = new Font("Dialog", Font.BOLD, 17);
	  public static Font Label_Chinese_Font = new Font("Dialog", Font.BOLD, 17);
	  public static Font Input_English_Font = new Font("Dialog", Font.PLAIN,17);
	  public static Font Input_Chinese_Font = new Font("Dialog", Font.PLAIN,17);
	  public final static Dimension Label_Chinese_Dimension = new Dimension(80,30);
      public final static Dimension Label_English_Dimension = new Dimension(110,35);
      
  	  public static File defaultDirectory = new File("D:/Debugging");
	  public static File tempDirectory = new File(defaultDirectory.toString()+"/temp");
		  
      public final static Dimension Source_Dimension = new Dimension(600,300);
      
      public static String fixEquations = "\u03C4";
  	  public static String historyStack = "\u03C0";
  	  public static String newHistoryStack = "\u03C0'";
	  public static String benvironment = "\u03B5";
	  public static String newBenvironment = "\u03B5'";
	  public static String zuokuohao = "\u3008";
	  public static String youkuohao = "\u3009";
	  public static String youjiantou = "  \u2192  ";
	  public static String empty = "\u2205";
	  public static String compare = "\u21AD";
	  public static String neq = " \u2260 ";
	  public static String isin = " \u2208 ";
	  public static String uion = " \u222A ";
	  public static String forall = "\u2200";
	  public static String exists = "\u2203"; 
      public static String lbrack = "\u300E";
      public static String rbrack = "\u300F";
}
